home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group94c.txt / 000038_kwalker@sirtur.premenos.com _Tue Dec 27 09:26:09 1994.msg < prev    next >
Internet Message Format  |  1995-02-09  |  4KB
  1. Received: from optima.CS.Arizona.EDU by cheltenham.CS.Arizona.EDU; Tue, 27 Dec 1994 10:33:28 MST
  2. Received: from gatekeeper.premenos.com by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  3.     id AA14327; Tue, 27 Dec 1994 10:33:18 MST
  4. Received: from localhost (smap@localhost) by gatekeeper.premenos.com (8.6.5/8.6.5) id JAA12653 for <icon-group@cs.arizona.edu>; Tue, 27 Dec 1994 09:33:14 -0800
  5. Received: from sirtur.premenos.com(150.105.100.47) by mail.premenos.com via smap (V1.3mjr)
  6.     id sma012651; Tue Dec 27 09:33:04 1994
  7. Received: by sirtur.sirtur.premenos.com (5.x/SMI-SVR4)
  8.     id AA04590; Tue, 27 Dec 1994 09:26:09 -0800
  9. Date: Tue, 27 Dec 1994 09:26:09 -0800
  10. From: kwalker@sirtur.premenos.com (Ken Walker)
  11. Message-Id: <9412271726.AA04590@sirtur.sirtur.premenos.com>
  12. To: icon-group@cs.arizona.edu
  13. Subject: Re: DeMorgan's Law doesn't work
  14. X-Sun-Charset: US-ASCII
  15.  
  16. > From: MENGARINI@news1.delphi.com (MENGARINI@DELPHI.COM)
  17. > 
  18. > I needed to find the first filename of the form "w[0-9][0-9]" that was
  19. > not in use in either of 2 directories.  This code
  20. >    (  nn := (0 to 9) || (0 to 9)
  21. >    ,  not exists( downloadDir || "w" || nn )
  22. >    ,  not exists( targetDir   || "w" || nn )
  23. >    )|stop( "No names of the form w[0-9][0-9] were unused." )
  24. > works, but the separation of the 2 "not exists" calls is reminiscent
  25. > of Algol-family languages' need to code things like
  26. >    if importantNumber = 1 | importantNumber = 2
  27. > where Snobol-family languages could just test whether
  28. >    importantNumber = 1 | 2
  29. > Analogously, Icon should be able to factor out the 2 "not exists" calls.
  30. > 
  31. > But this
  32. >    (  nn := (0 to 9) || (0 to 9)
  33. >    ,  not exists( (downloadDir|targetDir) || "w" || nn )
  34. >    )|stop( "No names of the form w[0-9][0-9] were unused." )
  35. > doesn't work because DeMorgan's Law doesn't work:
  36. > if downloadDir || "w" || nn doesn't exist, exists() fails, not exists()
  37. > succeeds, & the expression succeeds, without ever testing whether
  38. > targetDir || "w" || nn exists.
  39.  
  40. The second example does work! When exists() fails, the alternation is
  41. resumed and the existance of the file in the other directory is tested.
  42.  
  43. The following program shows that DeMorgan's Law holds in Icon:
  44.  
  45. ********** Cut Here *********
  46.  
  47. # Demonstrate DeMorgan's Law using &null as false and 1 as true.
  48. #
  49. record pair(a,b)
  50.  
  51. procedure main()
  52.     local x
  53.  
  54.     #
  55.     # Print truth tables.
  56.     #
  57.     write("A    B    (not A) & (not B)    not (A | B)")
  58.     write("------------------------------------------")
  59.     every x := comb() do {
  60.         writes(format(x.a), "    ", format(x.b), "            ")
  61.         if ((not \x.a) & (not \x.b)) then
  62.             writes("T")
  63.         else
  64.             writes("F")
  65.     writes("                 ")
  66.         if not (\x.a | \x.b) then
  67.             write("T")
  68.         else
  69.             write("F")
  70.     }
  71.  
  72.     write()
  73.     write("A    B    (not A) | (not B)    not (A & B)")
  74.     write("------------------------------------------")
  75.     every x := comb() do {
  76.         writes(format(x.a), "    ", format(x.b), "            ")
  77.         if ((not \x.a) | (not \x.b)) then
  78.             writes("T")
  79.         else
  80.             writes("F")
  81.     writes("                 ")
  82.         if not (\x.a & \x.b) then
  83.             write("T")
  84.         else
  85.             write("F")
  86.     }
  87. end
  88.  
  89. #
  90. # comb() - produce all 4 pairs of "logical" values.
  91. #
  92. procedure comb()
  93.     suspend pair(1 | &null, 1 | &null)
  94. end
  95.  
  96. #
  97. # Convert a "logical" value to "T" or "F".
  98. #
  99. procedure format(x)
  100.     if \x then
  101.     return "T"
  102.     else
  103.     return "F"
  104. end